An Introduction to Inductive Logic Programming and Learning Language in Logic
نویسندگان
چکیده
This chapter introduces Inductive Logic Programming (ILP) and Learning Language in Logic (LLL). No previous knowledge of logic programming, ILP or LLL is assumed. Elementary topics are covered and more advanced topics are discussed. For example, in the ILP section we discuss subsumption, inverse resolution, least general generalisation, relative least general generalisation, inverse entailment, saturation, refinement and abduction. We conclude with an overview of this volume and pointers to future work.
منابع مشابه
An Inductive Logic Programming Query Language for Database Mining
First, a short introduction to inductive logic programming and machine learning is presented and then an inductive database mining query language RDM (Relational Database Mining language). RDM integrates concepts from inductive logic programming, constraint logic programming, deductive databases and meta-programming into a flexible environment for relational knowledge discovery in databases. Th...
متن کاملBreeding Algebraic Structures - An Evolutionary Approach To Inductive Equational Logic Programming
Concept learning is the induction of a description from a set of examples. Inductive logic programming can be considered a special case of the general notion of concept learning specifically referring to the induction of first-order theories. Both concept learning and inductive logic programming can be seen as a search over all possible sentences in some representation language for sentences th...
متن کاملThe Use of Functional and Logic Languages in Machine Learning
Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80’s on people have started to explore Prolog as a representation formalism for machine learning, an area which came to be called inductive logic programming (ILP). With hindsight, however, Prolog may not have been the best choice, since it can be argued that t...
متن کاملEvolutionary Search in Inductive Equational Logic Programming
Concept learning is the induction of a description from a set of examples. Inductive logic programming can be considered a special case of the general notion of concept learning specifically referring to the induction of first-order theories. Both concept learning and inductive logic programming can be seen as a search over all possible sentences in some representation language for sentences th...
متن کاملPlanning for Relational Rules
Planning refers to the notion of finding actions that are near-optimal in order to accomplish a specified goal. Relational rules are a powerful language to represent domains and have been used for a long time in a subfield of machine learning called Inductive Logic Programming. The combination of these two fields results in planning algorithms for domains that are modelled using relational rule...
متن کامل